mcsta/modest mcsta egl.jani -E N=10,L=2 --props unfairA -O out.txt Minimal --unsafe --es -S Memory --no-partial-results --alg OptimisticValueIteration --epsilon 1e-6 --width 1e-6 --relative-width --p0 --p1
egl.jani:model: info: egl is a DTMC model.
egl.jani: info: Need 88 bytes per state.
egl.jani: info: Explored 45598737 states for N=10, L=2.
Peak memory usage: 11447 MB
Analysis results for egl.jani
Experiment N=10, L=2
+ State space exploration
State size: 88 bytes
States: 45598737
Transitions: 45598737
Branches: 46647312
Rate: 259079 states/s
Time: 179.3 s
+ Property unfairA
Probability: 0.50048828125
Bounds: [0.50048828125, 0.50048828125]
Time: 6.9 s
+ Precomputations
Min. prob. 0 states: 33521152
Time for min. prob. 0 states: 3.1 s
Min. prob. 1 states: 12076050
Time for min. prob. 1 states: 1.5 s
+ Essential states
Iterations: 1
Essential states: 1537
Transitions: 1537
Branches: 3072
Time: 2.3 s
+ Optimistic value iteration
Total iterations: 3
Verif. attempts: 1
Verif. iterations: 1
Final epsilon: 1E-06
Time: 0.0 s
Exported results to file "/out.txt".